Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming Kish Shen and Joachim Schimpf IC-Parc, Imperial College London, London SW7 2AZ, United Kingdom {k.shen,j.schimpf}@icparc.ic.ac.uk

Source URL: eclipseclp.org

The Semantics and Proof Theory of Linear Logic Arnon Avron Department of Computer Science School of Mathematical Sciences Tel-Aviv University

Source URL: www.cs.tau.ac.il

To the Head of the Department of Mathematical Logic and Theory of Algorithms at the M. V. Lomonosov Moscow State University Professor Vladimir A. Uspensky Anniversary Address

Source URL: lpcs.math.msu.su

New mathematical logic could have averted the attack on Saddam

Source URL: phys.org

On the completeness of quantum computation models Pablo Arrighi ´ Ecole normale sup´erieure de Lyon

Source URL: who.rocq.inria.fr

• Mathematical logic
• Applied mathematics
• Computable function
• Recursive set
• Enumeration
• Function
• Numbering
• Church–Turing thesis
• Computability
• Computability theory
• Theory of computation
• Mathematics

When is Na¨ıve Evaluation Possible? Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo To cite this version: Am´elie Gheerbrant, Leonid Libkin, Cristina Sirangelo. When is Na¨ıve Evaluation Possible?. PODS - 32n

Source URL: www.liafa.univ-paris-diderot.fr

• Model theory
• Database theory
• Conjunctive query
• Modal logic
• Null
• Structure
• Kripke semantics
• FO
• Closed world assumption
• Logic
• Mathematics
• Mathematical logic

The Abstract Domain of Segmented Ranking Functions Caterina Urban ´ Ecole Normale Sup´erieure - CNRS - INRIA, Paris, France

Source URL: www.di.ens.fr

• Structure
• Function
• Itō diffusion
• Mathematics
• Mathematical logic
• Abstract interpretation

An Abstract Domain to Infer Ordinal-Valued Ranking Functions ”to infinity. . . and beyond!” Caterina Urban and Antoine Min´ e

Source URL: www.di.ens.fr

• Mathematical logic
• Model theory
• Abstract interpretation
• Semantics
• Interpretation
• Function
• Piecewise
• Denotational semantics
• Mathematics
• Functions and mappings
• Logic

Another Tutorial for FoCaLize: Playing with Proofs Franc¸ois Pessaux ENSTA ParisTech March 2014

Source URL: focalize.inria.fr

• Proof theory
• Mathematical proofs
• IP
• Mathematics
• Mathematical logic
• Logic

RUDIN-KEISLER POSETS OF COMPLETE BOOLEAN ALGEBRAS PETER JIPSEN, ALEXANDER PINUS, HENRY ROSE Abstract. The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elem

Source URL: www1.chapman.edu

• Model theory
• Boolean algebra
• Order theory
• Non-standard analysis
• Universal algebra
• Ultrafilter
• Symbol
• Structure
• Ultraproduct
• Mathematics
• Mathematical logic
• Logic